تعداد ۵ پاسخ غیر تکراری از ۵ پاسخ تکراری در مدت زمان ۴,۸۰ ثانیه یافت شد.

1. Computability and logic

پدیدآورنده : / George Boolos, Richard Jeffrey

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Recursive functions,Logic, symbolic and mathematical

رده :

511

.

3

B724c

2. Computability and logic

پدیدآورنده : George Boolos, Richard Jeffrey

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)

موضوع : Computable functions,Recursive functions

رده :

511

.

3

B724C

3. Computability and logic

پدیدآورنده : George Boolos, Richard Jeffrey,Title

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :

QA

.

B66

9

.

59

1980

4. Logic, logic, and logic /

پدیدآورنده : George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic.

رده :

BC51

.

B58

1998

5. Logic, logic, and logic

پدیدآورنده : / George Boolos; with introductions and afterword by John P. Burgess; edited by Richard Jeffrey

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic

رده :

160

B724L

1998

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها